First-Class Subtypes
نویسندگان
چکیده
منابع مشابه
First-class subtypes
One purpose of the ML module system is to hide equalities between types exposed in an interface and types used in the implementation [10]. Generalized algebraic data types (gadts) [13], a more recent addition, make these type equalities first class. gadts attach first class equalities to data; equalities may be hidden by polymorphism or modular abstraction, and later revealed by scrutinising th...
متن کاملFirst Class Messages as First Class Continuations
First class messages, which we call message continuations, provide object-oriented concurrent programming languages with extensibility in modeling and programming communication schemes such as asynchronous communication, multicasting, sophisticated synchronization constraints, interobject synchronization, concurrency control, resource management, and so on. In spite of its powerful extensibilit...
متن کاملFirst - Class
Adding environments as first-class entities to a language can greatly enhance its expressiveness. But first-class environments rely on identifiers, the syntax of variables, and thus do not mesh well with lexically-scoped languages. We present first-class extents as an alternative. First-class extents are founded upon lexical variables with dynamic extent. They are defined directly on the variab...
متن کاملInclusions and Subtypes I: First-Order Case
The failure to make explicit two different notions of subtype, a subtype as inclusion notion originally proposed by Goguen and a subtype as implicit conversion notion originally proposed by Reynolds, leads to unsatisfactory situations in present approaches to subtyping. Here, it is argued that choosing either notion at the expense of the other would be mistaken and limiting, and a framework is ...
متن کاملPhleogena faginea, first report from class Atractiellomycetes in Iran
In the framework of collecting and identifying of fungi of Iran, specimens of an interesting fungus were collected and identified as Phleogena faginea (Fr.) Link based on Oberwinkler & Bandoni (1982). The characteristic features of specimens were as follows.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2019
ISSN: 2075-2180
DOI: 10.4204/eptcs.294.4